#include "print.h"


int cnt = 50;
int nomain(void)
{
    while (cnt-- > 0) {
        kprintf("hello world : %d\r\n", cnt);
        sleep(1);
    }
    exit(0);
}